Model checking领域的权威书籍

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)

Lisette Model is an unsurpassed introduction to one of the twentieth century's most significant photographers--a woman whose searing images and eloquent teachings deeply influenced her students Diane Arbus, Larry Fink and many others. To mark the twenty-fifth anniversary of Model's death in 1983, Aperture is reissuing this classic, highly collectible 1979 monograph--the first b...(展开全部)

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety...(展开全部)

SHIHO初!待望のメッセージ&フォトブック。元気の素、幸せのヒント、キレイの秘密がつまってる。今まで見せなかった、ありのままのSHIHO。ポジティブに生きるSHIHOからのメッセージ。

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)

Informed by both structuralism and poststructuralism, these essays by art critic and historian Yve Alain Bois seek to redefine the status of theory in modernist critical discourse. Warning against the uncritical adoption of theoretical fashions and equally against the a priori rejection of all theory, Bois argues that theory is best employed in response to the specific demands ...(展开全部)

This book is a modern introduction to model theory which stresses applications to algebra throughout the text. The first half of the book includes classical material on model construction techniques, type spaces, prime models, saturated models, countable models, and indiscernibles and their applications. The author also includes an introduction to stability theory beginning ...(展开全部)